modus poneus

假言推论